// COMPILER_ARGUMENTS: -XXLanguage:-NewInference

val a = <caret>A<Int, String> { "" }